Some useful structures for categorical approach for program behavior
نویسنده
چکیده
Using of category theory in computer science has extremely grown in the last decade. Categories allow us to express mathematical structures in unified way. Algebras are used for constructing basic structures used in computer programs. A program can be considered as an element of the initial algebra arising from the used programming language. In our contribution we formulate two ways of expressing algebras in categories. We also construct the codomain functor from the arrow category of algebras into the base category of sets which objects are also the carrier-sets of the algebras. This functor expresses the relation between algebras and carrier-sets.
منابع مشابه
Required Structures for Family Physician Program for Achieving Service Quality Dimensions in Primary Health Care: a Systematic Review
Background: The Structure of Health System affects quality of care in family physician program. This study aimed to explore the required structures of Family Physician Program for achieving service quality dimensions in Primary Health care through analyzing country experiences. These structures will be useful in achievement of quality health care in family physician system. Methods: In this sy...
متن کاملCategorical Model of Structural Operational Semantics for Imperative Language
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural operational semantics useful for impleme...
متن کاملCoupled BE-FE Scheme for Three-Dimensional Dynamic Interaction of a Transversely Isotropic Half-Space with a Flexible Structure
The response of structures bonded to the surface of a transversely isotropic half-space (TIHS) under the effect of time-harmonic forces is investigated using a coupled FE-BE scheme. To achieve this end, a Finite Element program has been developed for frequency domain analysis of 3D structures, as the first step. The half-space underlying the structure is taken into consideration using a Boundar...
متن کاملIncremental explosive analysis and its application to performance-based assessment of stiffened and unstiffened plates
In this paper, the dynamic behavior of square plates with various thicknesses and stiffening configurations subjected to underwater explosion (UNDEX) are evaluated through a relatively novel approach which is called Incremental Explosive Analysis (IEA). The IEA estimates the different limit-states and deterministic assessment of plats’ behavior, considering uncertainty of loading conditions and...
متن کاملModified FGP approach and MATLAB program for solving multi-level linear fractional programming problems
In this paper, we present modified fuzzy goal programming (FGP) approach and generalized MATLAB program for solving multi-level linear fractional programming problems (ML-LFPPs) based on with some major modifications in earlier FGP algorithms. In proposed modified FGP approach, solution preferences by the decision makers at each level are not considered and fuzzy goal for the decision vectors i...
متن کامل